Delimited Continuation
shiftとcontrolの違いは、キャプチャーした継続に区切り(resetあるいはprompt)が含まれるかどうかでした。そして0がつくやつとそうでないやつは、継続をキャプチャーするオペレーター自身が区切りを残すか取り去るか、
他の観点として、「区切り」が一種類か複数種類か、というものもあります。後者の方が一般的です(multi-promptと呼ばれます)。
限定継続演算子には shift/reset [6, 7]、 control/prompt [9]、shift0/reset0 [17]、control0/prompt0 [12] の4種類がある。また、限定継続演 算子の他にも継続を明示的に扱えるものとして algebraic effect handlers [3, 13] が盛んに研究されている。